Improving Prolog Programs: Refactoring for Prolog

Refactoring is an established technique from the OO-community to restructure code: it aims at improving software readability, maintainability and extensibility. Although refactoring is not tied to the OO-paradigm in particular, its ideas have not been applied to Logic Programming until now. This paper applies the ideas of refactoring to Prolog programs. A catalogue is presented listing refactorings classified according to scope. Some of the refactorings have been adapted from the OO-paradigm, while others have been specifically designed for Prolog. Also the discrepancy between intended and operational semantics in Prolog is addressed by some of the refactorings. In addition, ViPReSS, a semi-automatic refactoring browser, is discussed and the experience with applying \vipress to a large Prolog legacy system is reported. Our main conclusion is that refactoring is not only a viable technique in Prolog but also a rather desirable one.Comment: To appear in ICLP 200

Modules for Prolog Revisited

Module systems are an essential feature of programming languages as they facilitate the re-use of existing code and the development of general purpose libraries. Unfortunately, there has been no consensual module system for Prolog, hence no strong development of libraries, in sharp contrast to what exists in Java for instance. One difficulty comes from the call predicate which interferes with the protection of the code, an essential task of a module system. By distinguishing the called module code protection from the calling module code protection, we review the existing syntactic module systems for Prolog. We show that no module system ensures both forms of code protection, with the noticeable exceptions of Ciao-Prolog and XSB. We then present a formal module system for logic programs with calls and closures, define its operational semantics and formally prove the code protection property. Interestingly, we also provide an equivalent logical semantics of modular logic programs without calls nor closures, which shows how they can be translated into constraint logic programs over a simple module constraint system

Active Brownian Particles. From Individual to Collective Stochastic Dynamics

We review theoretical models of individual motility as well as collective dynamics and pattern formation of active particles. We focus on simple models of active dynamics with a particular emphasis on nonlinear and stochastic dynamics of such self-propelled entities in the framework of statistical mechanics. Examples of such active units in complex physico-chemical and biological systems are chemically powered nano-rods, localized patterns in reaction-diffusion system, motile cells or macroscopic animals. Based on the description of individual motion of point-like active particles by stochastic differential equations, we discuss different velocity-dependent friction functions, the impact of various types of fluctuations and calculate characteristic observables such as stationary velocity distributions or diffusion coefficients. Finally, we consider not only the free and confined individual active dynamics but also different types of interaction between active particles. The resulting collective dynamical behavior of large assemblies and aggregates of active units is discussed and an overview over some recent results on spatiotemporal pattern formation in such systems is given.Comment: 161 pages, Review, Eur Phys J Special-Topics, accepte

Spatial Navigation Based on Novelty Mediated Autobiographical Memory

Abstract. This paper presents a method for spatial navigation performed mainly on past experiences. The past experiences are remembered in their temporal context, i.e. as episodes of events. The learned episodes form an ac-tive autobiography that determines the future navigation behaviour. The epi-sodic and autobiographical memories are modelled to resemble the memory formation process that takes place in the rat hippocampus. The method im-plies naturally inferential reasoning in the robotic framework that may make it more flexible for navigation in unseen environments. The relation between novelty and life-long exploratory (latent) learning is shown to be important and therefore is incorporated into the learning process. As a result, active au-tobiography formation depends on latent learning while individual trials might be reward driven. The experimental results show that learning mediat-ed by novelty provides a flexible and efficient way to encode spatial informa-tion in its contextual relatedness and directionality. Therefore, performing a novel task is fast but solution is not optimal. In addition, learning becomes naturally a continuous process- encoding and retrieval phase have the same underlying mechanism, and thus do not need to be separated. Therefore, building a “life long ” autobiography is feasible.

Measurement of the top-quark mass using a leptonic invariant mass in pp collisions at s√ = 13 TeV with the ATLAS detector

A measurement of the top-quark mass (mt) in the tt¯ → lepton + jets channel is presented, with an experimental technique which exploits semileptonic decays of b-hadrons produced in the top-quark decay chain. The distribution of the invariant mass mℓμ of the lepton, ℓ (with ℓ = e, μ), from the W-boson decay and the muon, μ, originating from the b-hadron decay is reconstructed, and a binned-template profile likelihood fit is performed to extract mt. The measurement is based on data corresponding to an integrated luminosity of 36.1 fb−1 of s√ = 13 TeV pp collisions provided by the Large Hadron Collider and recorded by the ATLAS detector. The measured value of the top-quark mass is mt = 174.41 ± 0.39 (stat.) ± 0.66 (syst.) ± 0.25 (recoil) GeV, where the third uncertainty arises from changing the PYTHIA8 parton shower gluon-recoil scheme, used in top-quark decays, to a recently developed setup

Search for single vector-like B quark production and decay via B → bH(b¯b) in pp collisions at √s = 13 TeV with the ATLAS detector

A search is presented for single production of a vector-like B quark decaying into a Standard Model b-quark and a Standard Model Higgs boson, which decays into a b¯b pair. The search is carried out in 139 fb−1 of √s = 13 TeV proton-proton collision data collected by the ATLAS detector at the LHC between 2015 and 2018. No significant deviation from the Standard Model background prediction is observed, and mass-dependent exclusion limits at the 95% confidence level are set on the resonance production cross-section in several theoretical scenarios determined by the couplings cW, cZ and cH between the B quark and the Standard Model W, Z and Higgs bosons, respectively. For a vector-like B occurring as an isospin singlet, the search excludes values of cW greater than 0.45 for a B resonance mass (mB) between 1.0 and 1.2 TeV. For 1.2 TeV < mB < 2.0 TeV, cW values larger than 0.50–0.65 are excluded. If the B occurs as part of a (B, Y) doublet, the smallest excluded cZ coupling values range between 0.3 and 0.5 across the investigated resonance mass range 1.0 TeV < mB < 2.0 TeV

Evidence for the charge asymmetry in pp → tt¯ production at s√ = 13 TeV with the ATLAS detector

Inclusive and differential measurements of the top–antitop (tt¯) charge asymmetry Att¯C and the leptonic asymmetry Aℓℓ¯C are presented in proton–proton collisions at s√ = 13 TeV recorded by the ATLAS experiment at the CERN Large Hadron Collider. The measurement uses the complete Run 2 dataset, corresponding to an integrated luminosity of 139 fb−1, combines data in the single-lepton and dilepton channels, and employs reconstruction techniques adapted to both the resolved and boosted topologies. A Bayesian unfolding procedure is performed to correct for detector resolution and acceptance effects. The combined inclusive tt¯ charge asymmetry is measured to be Att¯C = 0.0068 ± 0.0015, which differs from zero by 4.7 standard deviations. Differential measurements are performed as a function of the invariant mass, transverse momentum and longitudinal boost of the tt¯ system. Both the inclusive and differential measurements are found to be compatible with the Standard Model predictions, at next-to-next-to-leading order in quantum chromodynamics perturbation theory with next-to-leading-order electroweak corrections. The measurements are interpreted in the framework of the Standard Model effective field theory, placing competitive bounds on several Wilson coefficients

Search for light long-lived neutral particles that decay to collimated pairs of leptons or light hadrons in pp collisions at s√ = 13 TeV with the ATLAS detector

A search for light long-lived neutral particles with masses in the O(MeV–GeV) range is presented. The analysis targets the production of long-lived dark photons in the decay of a Higgs boson produced via gluon–gluon fusion or in association with a W boson. Events that contain displaced collimated Standard Model fermions reconstructed in the calorimeter or muon spectrometer are selected in 139 fb−1 of s√ = 13 TeV pp collision data collected by the ATLAS detector at the LHC. Background estimates for contributions from Standard Model processes and instrumental effects are extracted from data. The observed event yields are consistent with the expected background. Exclusion limits are reported on the production cross-section times branching fraction as a function of the mean proper decay length cτ of the dark photon, or as a function of the dark-photon mass and kinetic mixing parameter that quantifies the coupling between the Standard Model and potential hidden (dark) sectors. A Higgs boson branching fraction above 1% is excluded at 95% CL for a Higgs boson decaying into two dark photons for dark-photon mean proper decay lengths between 10 mm and 250 mm and dark photons with masses between 0.4 GeV and 2 GeV

Inclusive-photon production and its dependence on photon isolation in pp collisions at s√ = 13 TeV using 139 fb−1 of ATLAS data

Measurements of differential cross sections are presented for inclusive isolated-photon production in pp collisions at a centre-of-mass energy of 13 TeV provided by the LHC and using 139 fb−1 of data recorded by the ATLAS experiment. The cross sections are measured as functions of the photon transverse energy in different regions of photon pseudorapidity. The photons are required to be isolated by means of a fixed-cone method with two different cone radii. The dependence of the inclusive-photon production on the photon isolation is investigated by measuring the fiducial cross sections as functions of the isolation-cone radius and the ratios of the differential cross sections with different radii in different regions of photon pseudorapidity. The results presented in this paper constitute an improvement with respect to those published by ATLAS earlier: the measurements are provided for different isolation radii and with a more granular segmentation in photon pseudorapidity that can be exploited in improving the determination of the proton parton distribution functions. These improvements provide a more in-depth test of the theoretical predictions. Next-to-leading-order QCD predictions from JETPHOX and SHERPA and next-to-next-to-leading-order QCD predictions from NNLOJET are compared to the measurements, using several parameterisations of the proton parton distribution functions. The measured cross sections are well described by the fixed-order QCD predictions within the experimental and theoretical uncertainties in most of the investigated phase-space region

Measurements of Zγ+jets differential cross sections in pp collisions at s√ = 13 TeV with the ATLAS detector

Differential cross-section measurements of Zγ production in association with hadronic jets are presented, using the full 139 fb−1 dataset of s√ = 13 TeV proton–proton collisions collected by the ATLAS detector during Run 2 of the LHC. Distributions are measured using events in which the Z boson decays leptonically and the photon is usually radiated from an initial-state quark. Measurements are made in both one and two observables, including those sensitive to the hard scattering in the event and others which probe additional soft and collinear radiation. Different Standard Model predictions, from both parton-shower Monte Carlo simulation and fixed-order QCD calculations, are compared with the measurements. In general, good agreement is observed between data and predictions from MATRIX and MiNNLOPS, as well as next-to-leading-order predictions from MADGRAPH5_AMC@NLO and SHERPA